Algebraic data type - PDFSEARCH.IO - Document Search Engine

Algebraic data type
Results: 119

#	Item
61	A Simple and General Theoretical Account for Abstract Types? Hongwei Xi Boston University Abstract. A common approach to hiding implementation details is Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-06-27 22:37:34 Dependently typed programming Type theory Models of computation Height Infinite group theory Generalized algebraic data type Lambda calculus Normalisation by evaluation Theoretical computer science Software engineering Mathematics
62	Outdoor AR Library Tutorial Displaying Tags in AR View by Tristan Scott The Human Interface Technology Laboratory New Zealand http://www.hitlabnz.org/mobileAR Add to Reading List Source URL: www.hitlabnz.org Language: English - Date: 2014-02-20 18:46:39 Computer programming Data types Type theory Method Canvas element Cross-platform software Constructor Tag Algebraic data type Computing Software engineering HTML
63	What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, [removed] Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-12 20:18:53 Functional languages Functional programming OCaml Caml ML Monad Algebraic data type Xavier Leroy Exception handling Software engineering Computing Computer programming
64	LogiCell Jean-Philippe Rennard, Ph.D., [removed]LogiCell 1.0 We have seen in Introduction to CA that the Game of Life has Universal computation capabilities. Add to Reading List Source URL: www.rennard.org Language: English - Date: 2014-07-28 10:11:15 Mathematical logic Propositional calculus Logical connectives Binary operations Algebraic logic Exclusive or Truth table Logical disjunction Boolean data type Abstract algebra Mathematics Boolean algebra
65	AURA: A Programming Language for Authorization and Audit Limin Jia Jeffrey A. Vaughan Karl Mazurak Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Computing Dependently typed programming Logic in computer science Functional programming Lambda calculus Monad ATS Calculus of constructions Generalized algebraic data type Software engineering Programming language theory Type theory
66	Programming in I DRIS: A Tutorial The I DRIS Community 15th January 2015 Contents 1 Introduction Add to Reading List Source URL: www.idris-lang.org Language: English - Date: 2015-01-15 05:24:10 Data types Type theory Functional programming Functional languages OCaml Type system Haskell C++ classes Algebraic data type Software engineering Computing Computer programming
67	Dependent Type Providers David Raymond Christiansen IT University of Copenhagen [removed] Abstract Add to Reading List Source URL: itu.dk Language: English - Date: 2013-07-29 03:28:29 Computing Data types Functional languages Object-oriented programming Functional programming Type system Generalized algebraic data type Agda Dependent type Software engineering Type theory Programming language theory
68	Fundamenta Informaticae XX[removed]–31 1 IOS Press Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2010-07-20 09:14:49 Type theory Data types Functional programming Functional languages Dependently typed programming Dependent type Lock Generalized algebraic data type Concurrent computing Computing Software engineering Programming language theory
69	Programming in I DRIS: A Tutorial The I DRIS Community 26th October 2014 Contents 1 Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2014-10-26 16:37:40 Functional programming Data types Type theory Fold Type system OCaml Algebraic data type Polymorphism Append Software engineering Computing Computer programming
70	Programming in I DRIS: A Tutorial The I DRIS Community 15th January 2015 Contents 1 Add to Reading List Source URL: www.idris-lang.org Language: English - Date: 2015-01-15 05:24:04 Data types Functional programming Type theory Fold Polymorphism Type system ALGOL 68 Functor Algebraic data type Software engineering Computing Computer programming